Computable number - PDFSEARCH.IO - Document Search Engine

Computable number
Results: 71

#	Item
51	pdf version of the entry Turing Machines http://plato.stanford.edu/archives/sum2013/entries/turing-machine/ PL E Add to Reading List Source URL: leibniz.stanford.edu Language: English - Date: 2014-06-20 10:34:12 Computer science Turing machine Models of computation Alan Turing Computability Busy beaver Halting problem Computable number Church–Turing thesis Theoretical computer science Computability theory Theory of computation
52	ASYMPTOTIC DENSITY AND THE ERSHOV HIERARCHY ROD DOWNEY, CARL JOCKUSCH, TIMOTHY H. MCNICHOLL, AND PAUL SCHUPP Abstract. We classify the asymptotic densities of the ∆02 sets according to their level in the Ershov hierarc Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2014-02-03 11:22:38 Field theory Computable number Real closed field Natural density Recursively enumerable set Limit superior and limit inferior Itō diffusion Mathematics Theory of computation Computability theory
53	ASYMPTOTIC DENSITY, COMPUTABLE TRACEABILITY, AND 1-RANDOMNESS URI ANDREWS, MINGZHONG CAI, DAVID DIAMONDSTONE, CARL JOCKUSCH, AND STEFFEN LEMPP Abstract. Let r be a real number in the unit interval [0, 1]. A set A ⊆ ω Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2014-02-03 11:22:22 Mathematics Computable function Algorithmically random sequence Busy beaver Theory of computation Computability theory Applied mathematics
54	On Self-Embeddings of Computable Linear Orderings ? Rodney G. Downey a , Carl Jockusch b and Joseph S. Miller a a School of Mathematical and Computing Sciences Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2009-07-29 17:54:43 Mathematical logic Theory of computation Computable function Halting problem Turing reduction Reverse mathematics Embedding Ordinal number Computability theory Mathematics Theoretical computer science
55	On Development of Systems for Number Theoretic Calculation and Related Problems MATSUI Tetsushi 2 Add to Reading List Source URL: tnt.math.se.tmu.ac.jp Language: English - Date: 2007-12-02 04:39:15 Applied mathematics Theory of computation Models of computation Alan Turing Computable number Computable function Turing machine Algorithm Polynomial Theoretical computer science Mathematics Computability theory
56	Chapter 2 1 Wittgenstein’s Diagonal Argument: A Variation on Cantor and Turing1 Add to Reading List Source URL: www.bu.edu Language: English - Date: 2012-09-21 17:06:53 Computer science Computable number Halting problem Computable function Description number Turing machine Alan Turing Computability Entscheidungsproblem Computability theory Theoretical computer science Theory of computation
57	Generalized tabular reducibilities in infinite levels of the Ershov difference hierarchy. Add to Reading List Source URL: www.ims.nus.edu.sg Language: English - Date: 2010-01-12 23:03:19 Theory of computation Theoretical computer science Functions and mappings Constructible universe Proof theory Computable function Ordinal number Function Linear temporal logic Mathematics Mathematical logic Computability theory
58	12345efghi UNIVERSITY OF WALES SWANSEA REPORT SERIES Experimental computation of real numbers by Newtonian machines by Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2006-10-05 05:03:30 Computer science Applied mathematics Computable function John V. Tucker Hypercomputation Church–Turing thesis Classical mechanics Computable number Computability Theoretical computer science Theory of computation Computability theory
59	PROGRAMME Sunday, 19 July 2009 CiE 2009 Mathematical Theory and Add to Reading List Source URL: www.math.uni-heidelberg.de Language: English - Date: 2009-07-30 07:35:12 Computer science Mathematics Hypercomputation Mathematical logic Algorithm Computable number Recursively enumerable set Turing reduction Computability Theory of computation Computability theory Theoretical computer science
60	Sino-Germany Project July, 2005 Add to Reading List Source URL: www.ims.nus.edu.sg Language: English - Date: 2010-01-12 23:03:20 Mathematical logic Computable number Computable analysis Computable real function Low Turing machine Computable measure theory Computability Computable function Computability theory Theoretical computer science Theory of computation

UPDATE